package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@uPatternDescription
(	Title = "Overrider",
	Description = "Class in which all methods override inherited," +
				  "non abstract methods")
				  
@Target(ElementType.TYPE)
public @interface Overrider {
	String[] overridesNonAbstractMethods() default{};
}
